9 rows where construction = "binary sum"

View and edit SQL

Link category construction
Ab binary sum
CRing binary sum
Comp binary sum
Diff binary sum
Grp binary sum
Set binary sum
Top binary sum
Top* binary sum
Vect_k binary sum

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options:

CREATE TABLE "categorical_structure" (
	"category"	TEXT NOT NULL,
	"construction"	TEXT NOT NULL,
	FOREIGN KEY("construction") REFERENCES "universal_objects"("construction") on update cascade on delete restrict,
	FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("category","construction")
);